An Algebra of Pure Quantum Programming

We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation by evaluation approach. The current work focuses on the pure fragment of QML omitting measurements.Comment: To appear in ENTCS, 3rd International Workshop on Quantum Programming Languages, 2005. 21 Page

Mecânica Quântica: da Física para a Computação

O interesse desta pesquisa é apresentar uma visão de alto nível a respeito da computação quântica para que os leitores possam ter contato com esta recente área. Além disso pode servir de apoio a pesquisadores iniciantes que objetivam buscar referências, no âmbito de iniciar seus estudos nesta área. Deste modo são apresentadas brevemente as origens, principais conceitos e características referentes a computação quântica, sempre que possível fazendo analogia a computação clássica, bem como a atual realidade do hardware quântico